1. Type Theory and Formal Proof: An Introduction
Author: / Professor Rob Nederpelt, Professor Herman Geuvers
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
